Action Transducers and Timed
نویسنده
چکیده
The timed automaton model of LV92, LV93] is a general model for timing-based systems. A notion of timed action transducer is here deened as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems.
منابع مشابه
Action Transducers and Timed AutomataNancy
The timed automaton model of 29, 30] is a general model for timing-based systems. A notion of timed action transducer is here deened as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can...
متن کاملLipschitz Robustness of Timed I/O Systems
We present the first study of robustness of systems that are both timed as well as reactive (I/O). We study the behavior of such timed I/O systems in the presence of uncertain inputs and formalize their robustness using the analytic notion of Lipschitz continuity: a timed I/O system is K-(Lipschitz) robust if the perturbation in its output is at most K times the perturbation in its input. We qu...
متن کاملToward a Timed Theory of Channel Coding
The classical theory of constrained-channel coding deals with the following questions: given two languages representing a source and a channel, is it possible to encode source messages to channel messages, and how to realize encoding and decoding by simple algorithms, most often transducers. The answers to this kind of questions are based on the notion of entropy. In the current paper, the ques...
متن کاملImpact Analysis of Variation in Geometrical Features on Intrinsic Characteristics of Capacitive Micro-machined Ultrasonic Transducers
Capacitive Micro-machined Ultrasonic Transducers (CMUTs) are the ultrasonic devices which produce better features in contrast to piezoelectric transducers. The intrinsic parameter of CMUT varies with the variation in geometrical dimension of the device. The cavity height and the radius of the CMUT with circular membrane is varied in the lumped parallel plate model for its impact on the paramete...
متن کاملاثر مشاهده و تقلید حرکت بر بهبود فعالیت های عملکردی بیماران همی پارزی با استناد به تئوری نورون های آئینه ای
Background and purpose: Stroke patients often suffer from several impairments such as sensory, motor, cognitive and emotional disorders. These conditions cause limitations in performing daily activities. This study sought to assess the effect of action observation and imitation on improvement of functional activity indices in hemiparetic patients based on mirror neuron theory. Material and met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010